Reasoning about Function Objects
نویسندگان
چکیده
Modern object-oriented languages support higher-order implementations through functionobjects such as delegates in C#, agents in Eiffel, or function objects in Scala. Function ob-jects bring a new level of abstraction to the object-oriented programming model, and requirea comparable extension to specification and verification techniques. We introduce a verifica-tion methodology that equips each function object with side-effect free (pure) methods forits preand postcondition, respectively. These pure methods can be used to specify clientcode relatively to the contract of the function object. We demonstrate the expressiveness ofour approach through several non-trivial examples. It can be combined with any verificationtechnique that supports pure methods, as illustrated by our experiments with Spec#.
منابع مشابه
Future study of Description System Architecture Approaches with Emphasis on Strategic Management
Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...
متن کاملToward Spatial Reasoning about "Natural" Objects
Until now, most of works about Spatial Reasoning focused on artificial objects. This paper addresses Spatial Reasoning in the game of Go that is a domain where the objects look like "natural". Two criterias toward a definition of "natural" objects is proposed : fractal structure of objects and dependency between genesis and use of objects. Combinatorial complexity of the game of Go obliges the ...
متن کاملHuman-Inspired Computational Models of Abnormality Reasoning for Improved Categorization
In the past few years, there has been a tremendous amount of progress in the field of computer vision. As of now, we have reliable object detectors and classifiers that can recognize thousands of object categories. However, the ultimate goal of computer vision is to build systems that can understand and reason about images, far beyond scene categorization and object detection. In this thesis, a...
متن کاملQualitative Spatial Reasoning about Objects in Motion: Application to Physics Problem Solving
This paper describes an ongoing project to develop a theory of qualitative spatial reasoning which merges a simple, intuitive description of the spatial extent, relative position, and orientation of objects with existing methods for qualitative reasoning about dynamically changing worlds. We are applying our theories within a system for problem solving about the magnetic elds domain. We describ...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملStrings and Holes: An Exercise on Spatial Reasoning
This paper investigates the challenging problem of encoding the knowledge and reasoning processes involved in the common sense manipulation of physical objects. In particular we provide a formalisation of a domain involving rigid objects, holes and a string within a reasoning about actions and change framework. Therefore, this work investigates the formalisation and reasoning about flexible obj...
متن کامل